Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
381	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
382	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
383	Code Style Randy Shepherd NYU Correctness is not Sufficient ● Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-03-05 12:03:11 Software engineering Computer programming Computing Source code Cross-platform software Concurrent programming languages Procedural programming languages Object-oriented programming languages Comment Programming style HTML Go
384	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
385	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
386	CH07 p375:02 PM Page 375 Chapter 7 Add to Reading List Source URL: www.buildingjavaprograms.com Language: English - Date: 2007-02-01 14:01:30 Software engineering Computer programming Computing Arrays Data types Array data type Array data structure C Jagged array For loop Foreach loop Array
387	eV+ Language Reference Guide Add to Reading List Source URL: www1.adept.com Language: English - Date: 2013-05-09 05:01:48 Computer architecture Computer programming Computing Holism Source code Subroutine University of Cambridge Computer Laboratory INT
388	Lecture 25: Strategies for Parallelism and Halo Exchange William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-03-05 17:47:25 Parallel computing Computing Computer programming Software engineering Data parallelism Granularity OpenMP Task parallelism Matrix Scalable parallelism
389	The Guts of Perl (and why you should care) A brief tour through the perl compiler backends for the impatient refactorerer. Add to Reading List Source URL: scratchcomputing.com Language: English - Date: 2008-11-01 15:56:52 Software engineering Computer programming Computing Cross-platform software Object-oriented programming languages Control flow High-level programming languages Scripting languages Perl Entry point XS Eval
390	OpenMP in the Multicore Era Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2008-09-03 03:23:22 Computing Parallel computing Computer programming Software engineering OpenMP Multi-core processor Thread

UPDATE